Towards Distributed Robustness in Embedded Systems
نویسندگان
چکیده
Recently, we witness a significant amount of effort being put into a research of robustness of complex computer systems. Computer scientists noticed that, despite decades of investigations into dependability, computer systems still lack the degree of resilience which can be seen in biological systems. In the biological context, one of the main aspects that stand behind a system’s robustness is degeneracy [1] also known as distributed robustness [2]. We say that a system has a high degree of degeneracy if a high number of the system’s parts functionally overlap. A system designer can harness degeneracy and provide fault-tolerance through procedural (in contrast to structural) redundancy. A system element is structurally redundant if another element in the system provides identical functionality. However, an element is procedurally redundant if various system parts can interact in such a way that it is possible to reproduce the element’s functionality. For illustration, consider a hypothetical calculator which was designed for degeneracy. Such a calculator does not have a central CPU, but its functionality is rather distributed among number of function blocks which provide basic arithmetic operations (plus, minus, multiplication, and division). If one of the function blocks is affected by a permanent error, there is no other functionally identical element which could take over the lost function. Yet, the blocks functionally overlap. If, for example, the multiplication operator failed, the calculator could transform any multiplication into a sequence of additions and use the plus operator. If the plus operator failed, the minus operator can be used in a similar fashion. Dependable computer system of today are still clumsily “inorganic”, with a nonexistent or very low degree of adaptability. Procedural redundancy due to degeneracy is a promising way to achieve highly robust and adaptable systems. But designing for degeneracy, and that is where we want to make our point, requires a paradigm shift in the way computing is done. We argue for a novel model of computation which enables a design for degeneracy.
منابع مشابه
Robust Distributed Source Coding with Arbitrary Number of Encoders and Practical Code Design Technique
The robustness property can be added to DSC system at the expense of reducing performance, i.e., increasing the sum-rate. The aim of designing robust DSC schemes is to trade off between system robustness and compression efficiency. In this paper, after deriving an inner bound on the rate–distortion region for the quadratic Gaussian MDC based RDSC system with two encoders, the structure of...
متن کاملScriptable Systems: Towards Interactive Testing during Programming of Distributed Embedded Systems
متن کامل
Timed Automata Templates for Distributed Embedded System Architectures
Networks of timed automata can be used to specify and verify distributed embedded systems. This technical report provides timed automata templates for a few basic components of such systems as a first step towards a library of reusable components which shall facilitate the design and analysis of large distributed embedded systems. In particular timed automata templates for common input event st...
متن کاملTowards the Application of Swarm Intelligence in Safety Critical Systems
Swarm Intelligence provides us with a powerful new paradigm for building fully distributed de-centralised systems in which overall system functionality emerges from the interaction of individual agents with each other and with their environment. Such systems are intrinsically highly parallel and can exhibit high levels of robustness and scalability; qualities desirable in high-integrity distrib...
متن کاملTowards Smart Infrastructures for Modern Surveillance Networks
Nowadays, large-scale surveillance systems can be found in wide distributed security infrastructures or, more regional, in big cities with highly frequented public transportation networks. Already the latter ones consist of thousands of cameras with continuously enhancing quality, producing enormous amounts of multidimensional and high-resolution multimedia data. While new hardware technologies...
متن کامل